The Multitopic Ω–category of All Multitopic Ω–categories
نویسنده
چکیده
منابع مشابه
Computads and Multitopic Sets
We compare computads (as defined in [15], [16], [3]) with multitopic sets (cf. [5][7]). Both these kinds of structures have n-dimensional objects (called n-cells for computads and n-pasting diagrams for multitopic sets), for each natural number n. In both cases, the set of n-dimensional objects is freely generated by one of its subsets. The computads form a subclass of the more familiar collect...
متن کاملOn Comparing Definitions of "weak N–category"
1. My approach is "foundational". On the one hand, I am motivated by the problem of the foundations of mathematics (an unsolved problem as far as I am concerned). On the other hand-and this is more relevant here-, I start "from scratch", and thus what I say can be understood with little technical knowledge. I only assume a modest amount of category theory as background. I will talk informally a...
متن کاملWeak n-categories: opetopic and multitopic foundations
We generalise the concepts introduced by Baez and Dolan to define opetopes constructed from symmetric operads with a category, rather than a set, of objects. We describe the category of 1-level generalised multicategories, a special case of the concept introduced by Hermida, Makkai and Power, and exhibit a full embedding of this category in the category of symmetric operads with a category of o...
متن کاملSynthesis and catalytic activity of heterogeneous rare-earth metal catalysts coordinated with multitopic Schiff-base ligands.
Four multitopic Schiff-base ligand precursors were synthesized via condensation of 4,4'-diol-3,3'-diformyl-1,1'-diphenyl or 1,3,5-tris(4-hydroxy-5-formylphenyl)benzene with 2,6-diisopropylaniline or 2,6-dimethylaniline. Amine elimination reactions of Ln[N(SiMe(3))(2)](3) (Ln = La, Nd, Sm or Y) with these multitopic ligand precursors gave ten heterogeneous rare-earth metal catalysts. These heter...
متن کاملA type-theoretical definition of weak ω-categories
We introduce a dependent type theory whose models are weak ω-categories, generalizing Brunerie’s definition of ω-groupoids. Our type theory is based on the definition of ω-categories given by Maltsiniotis, himself inspired by Grothendieck’s approach to the definition of ω-groupoids. In this setup, ω-categories are defined as presheaves preserving globular colimits over a certain category, calle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999